移动P2P文件共享系统中基于用户偏好的激励机制

提出一种基于用户偏好的激励机制,鼓励用户通过提供共享文件和转发操作为系统做出贡献。IMBPC结合了虚拟价格机制和预期文件传输延时,基于用户对价格和延时的偏好度来选择最合适的节点进行文件下载。通过设置模拟实同仅通过虚拟价格机制来激励用户做出贡献的策略进行比较,显示应用IMBPC策略的系统,节点的贡献积极性明显增加。     

基于能量感知的工业无线网络时间同步协议

时间同步技术是工业无线网络的关键技术,节能和延长网络生存时间也是无线传感器网络研究领域的热点问题。该文综合考虑网络中节点的剩余能量和工业应用对时间同步精度的要求,通过优化传统的泛洪时间同步协议,提出了基于能量感知的、高可靠性工业无线网络时间同步协议。仿真分析表明,该文提出的时间同步协议,与传统协议相比,可以降低节点用于时间同步的能耗,延长网络生存时间。并且,该协议符合W IA-PA工业无线网络国家标准。     

飞行管理系统AADL建模与分析

航空电子系统软件的建模与分析是保证军用和民用飞机高可靠、高性能的重要手段,也是模型驱动软件体系结构的重要组成部分。飞行管理系统作为航空电子系统的重要组成部分,传统上,对该系统的可调度性分析是在系统设计完成后,在实现与验证阶段进行的,这使得系统无法进行的准确地软硬件需求分析。采用先进的建模方法AADL对其进行建模,为飞行管理系统的可调度性分析、可靠性分析以及通信延迟等分析提供了可能,使得在系统需求分析阶段就可以准确确定系统的软硬件需求,并能大大降低系统的更改验证成本。首先论述了建模语言AADL的基本构成以及与航空电子应用接口规范ARING653的对应关系;然后描述了飞行管理系统的功能构成,并建立了飞行管理系统的AADL模型;最后详细论述了系统调度理论,AADL工具,飞管系统AADL模型的仿真分析。通过仿真分析为飞管系统的处理器选型、系统设计、软件设计与优化提供了依据。     

基于时间约束Petri网的一致性验证算法

时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度。该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义。     

IEEE802．11协议下移动自组网节点自私行为研究

对IEEE802．11协议下移动自组网中节点的MAC层自私行为进行了研究,描述了自组网节点利用减少退避时间等方法占用媒体资源造成网络性能严重下降的问题。分析了节点自私行为对其退避时间、吞吐量、数据重传次数的影响。提出了一种基于退避时间、吞吐量、重传次数指标的节点自私行为检测方法,并提出了一种利用邻接节点信息表的节点自私度的检测和惩戒机制。实验证明以上方法能有效识别节点的自私行为,在一定程度上解决了节点自私行为问题。     

基于图形处理器的水面仿真

水面效果的仿真可大幅提高自然环境仿真的真实感,传统对于CPU的仿真存在占用CPU时间和系统资源的缺点,针对存在问题,建立了基于图形处理单元（GPU）的水面仿真方法,讨论水面特效在GPU上的实现、以及水面网格在GPU中的重构。因为运算以及水面网格重构都在GPU中完成,充分利用GPU强大的图形处理能力,因此不会造成额外的系统开支,并且增强了对水面细节的表现,使得水面的逼真度和实时性增强。     

基于STK卡的OTP认证机制的设计与研究

针对目前OTP(一次性口令)认证机制存在的缺陷,本文提出了一种基于手机STK卡的OTP认证机制,给出了相关的认证模型和认证协议。该方法将空中下载菜单技术和混沌理论中的混沌序列技术融入到OTP的生成过程中,通过手机STK卡计算生成OTP来进行认证,能有效地弥补当前OTP认证机制的不足,具有明显的安全性和实用性。     

基于信任向量的P2P信任机制

针对现有P2P信任机制不能有效地检测和惩罚短期内反复建立信任然后进行恶意攻击的摇摆节点,本文提出了基于信任向量和时间窗口的信任机制,用信任向量记录节点的交易信息,用时间窗口收集最近一段时间内交易的记录,提高了信任评估的准确性和动态性。仿真实验表明,与已有的信任机制相比,该机制能够有效处理动态恶意节点行为。     

基于图像处理的锆管端面缺陷检测

对核用锆管端面缺陷进行检测是保证锆管尺寸具有高度的一致性和稳定性的重要手段之一,该文采用计算机图像处理技术对锆管端面的缺陷进行自动检测,在VC6.0的开发平台,运用mil库函数,对锆管端面的宽度,内外倒角进行了快速、实时检测,并通过实例验证了检测系统的可行性。     

基于TS201的高速数据记录仪的设计与实现

本文提出了一种基于TS201的高速数据记录仪,能将雷达模拟信号转换成的数字信号经过处理后实时的按FAT32文件系统存储到固态盘中去。采用DSP+FPGA的硬件架构,FPGA作为接口处理单元,DSP承担整个系统的协调控制,可以通过RS232和RS422接口与外部实现实时通信。